DBGen User Manual

نویسنده

  • Emmanuel Polonowski
چکیده

DBGen is a tool for Coq developers. It takes as input the definition of a term structure with bindings annotations and generates definitions and properties for lifting and substitution in the De Bruijn setting, up to the substitution lemma. It provides also a named syntax and a translation function to the De Bruijn syntax.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

طراحی ابزار‌‌‌ دستی معلولان تتراپلژی 7C-5C با استفاده از روش UCD

  Background and aims: One of the disorders which make some limitation for people is cervical spine injury. It causes disturbances in the upper sensory and motor extremities. This complication limits daily activities. The aim of this study is to design a manual toothbrush for cervical spinal cord handicapped (tetraplegia C5-C7) that is in compliance with the movement restrictions of this group....

متن کامل

Usability evaluation of the user interface in electronic prescribing systems of Iran Health Insurance Organization and Social Security Organization

Introduction: The e-prescribing system is one of the basic technologies in the health system structure which was developed with the aim of properly managing healthcare resources and services, preventing common manual prescribing errors, and increasing patient safety. Given that the user interface of e-prescribing system is considered as the main factor of user acceptance, the purpose of the pre...

متن کامل

Evaluating and improving the usability of a user manual

This research deals with user-testing as a means to improve the usability of a user manual. In Study 1 we analysed the effects of three different methods for user-testing a commercial user manual to a patient administrative system . Thirty nurses read the manual and noted difficulties found by either (1) making underlinings, (2) writing questions, or (3) verbalizing their comments aloud. Underl...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1212.0253  شماره 

صفحات  -

تاریخ انتشار 2012